This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيدThis book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information ...
اقرأ المزيدThis book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
اقرأ المزيدThis book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
اقرأ المزيدThis book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
اقرأ المزيدThis book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
اقرأ المزيدThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيدThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيدThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدThis book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
اقرأ المزيد